الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 3 /3
978-3-540-73370-6
Model Checking Software

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...

اقرأ المزيد
978-3-540-31899-6
Model Checking Software (vol. # 3639)

Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...

اقرأ المزيد
978-3-540-32425-6
Processes, Terms and Cycles: Steps on the Road to Infinity

Dedicated to Jan Willem Klop, this volume comprises a total of 23 scientific papers by his close friends and colleagues. ...

اقرأ المزيد
عدد الكتب: 1 - 3 /3